MDA: Correctness of Model Transformations. Which Models Are Schemas?
نویسنده
چکیده
How to determine, is a proposed model transformation correct, or not? In general, the answer may depend on the model semantics. Of course, a model transformation is “correct”, if we can extend it to a “correct” instance data transformation. Where should model semantics be defined? Assume, model syntax and semantics are defined in the same meta-model. Then, how to separate syntax from semantics? The answer could be the definition of model schemas proposed in the paper.
منابع مشابه
Checking Semantics Equivalence of MDA Transformations in Concurrent Systems
In a previous work we have proposed an extension to the four-layer MDA architecture promoting formal verification for semantics preserving model transformations. We analyzed semantics equivalence in transformations involving Platform Specific Models (PSM s). In this paper, considering concurrent systems domain, we show how this extended MDA architecture copes with the correctness verification o...
متن کاملVerification of Model Transformations
Model transformations are a central element of model-driven development (MDD) approaches such as the model-driven architecture (MDA). The correctness of model transformations is critical to their effective use in practical software development, since users must be able to rely upon the transformations correctly preserving the semantics of models. In this paper we define a formal semantics for m...
متن کاملRefinement and Consistency in Multiview Models
Model transformations are an integral part of OMG’s standard for Model Driven Architecture (MDA). Model transformations should at the best allow for a seamless transition from high-level models to actual implementations. They are therefore required to be behaviour preserving: models (or the final implementation) at lower levels should adhere to the descriptions given in higher level models. Mor...
متن کاملApplication to NWO-EW Open Competition 2004, Second Round
1a Project Title: Graphs for Software Language Definitions 1b Project Acronym: GRASLAND 1c Principal Investigator: Dr. ir. A. Rensink, University of Twente 2a Summary. In the context of the MDA (Model Driven Architecture) methodology for designing maintainable software systems, model transformation is a central concept. Models are used to describe the system in all phases of development and on ...
متن کاملUML to XML-Schema Transformation: a Case Study in Managing Alternative Model Transformations in MDA
In a Model Driven Architecture (MDA) software development process, models are repeatedly transformed to other models in order to finally achieve a set of models with enough details to implement a system. Generally, there are multiple ways to transform one model into another model. Alternative target models differ in their quality properties and the selection of a particular model is determined ...
متن کامل